A Recursive Nonstandard Model of Normal Open Induction
نویسندگان
چکیده
Models of normal open induction are those normal discretely ordered rings whose nonnegative part satisfy Peano’s axioms for open formulas in the language of ordered semirings. (Where normal means integrally closed in its fraction field.) In 1964 Shepherdson gave a recursive nonstandard model of open induction. His model is not normal and does not have any infinite prime elements. In this paper we present a recursive nonstandard model of normal open induction with an unbounded set of infinite prime elements.
منابع مشابه
A Bezout Computable Nonstandard Model of Open Induction
In contrast with Tennenbaum’s theorem [8] that says Peano Arithmetic (PA) has no nonstandard computable model, Shepherdson [6] constructed a computable nonstandard model for a very weak fragment of PA, called Open Induction (Iopen) in which the induction scheme is only allowed to be applied for quantifier-free formulas (with parameters). Since then several attempts have been made from both side...
متن کاملAdaptive Speed Control of Three-Phase Induction Servo-drives Based on Feedback Linearization Theory
In this paper, based on feedback linearization control method and using a special PI (propotational integrator) regulator (IP) in combination with a feed-forward controller, a three-phase induction servo-drive is speed controlled. First, an observer is employed to estimate the rotor d and q axis flux components. Then, two input-output state variables are introduced to control the dynamics of to...
متن کاملAdaptive Speed Control of Three-Phase Induction Servo-drives Based on Feedback Linearization Theory
In this paper, based on feedback linearization control method and using a special PI (propotational integrator) regulator (IP) in combination with a feed-forward controller, a three-phase induction servo-drive is speed controlled. First, an observer is employed to estimate the rotor d and q axis flux components. Then, two input-output state variables are introduced to control the dynamics of to...
متن کاملA nonstandard finite difference scheme for solving fractional-order model of HIV-1 infection of CD4^{+} t-cells
In this paper, we introduce fractional-order into a model of HIV-1 infection of CD4^+ T--cells. We study the effect of the changing the average number of viral particles $N$ with different sets of initial conditions on the dynamics of the presented model. The nonstandard finite difference (NSFD) scheme is implemented to study the dynamic behaviors in the fractional--order HIV-1 ...
متن کاملAutomatic formulation of falling multiple flexible-link robotic manipulators using 3×3 rotational matrices
In this paper, the effect of normal impact on the mathematical modeling of flexible multiple links is investigated. The response of such a system can be fully determined by two distinct solution procedures. Highly nonlinear differential equations are exploited to model the falling phase of the system prior to normal impact; and algebraic equations are used to model the normal collision of this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 61 شماره
صفحات -
تاریخ انتشار 1996